Adwaita: add vertical margins to headerbar buttons

to avoid them spanning the whole headerbar height with the changes
introduced in my last commit.

diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 8fe4f85fbe1bd7cd256dc53c539b0e28b5dcd6ad..b3093c6fc03a13981c56e4ae9c22e223aa14f0db 100644 (file)
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1143,6 +1143,7 @@ headerbar {
     @extend .dim-label;
   }
 
+  // FIXME: we need a safer way to select this separator
   & > GtkBox > separator.vertical {
     border-width: 0 1px;
     border-image: linear-gradient(to bottom,
@@ -1285,6 +1286,12 @@ headerbar {
       padding: 0 5px;
     }
   }
+
+  // add vertical margins to headerbar buttons to avoid them spanning the whole height
+  button {
+    margin-top: 6px;
+    margin-bottom: 6px;
+  }
 }
 
 .titlebar {

diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index a39fbd29f57ae0b105638da71618397031423acf..6ce7d46cb98c4d2aff8df5657b0d57be80a4d8de 100644 (file)
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -1927,6 +1927,14 @@ headerbar {
     .titlebar headerbar.default-decoration button.titlebutton {
       min-height: 26px;
       padding: 0 5px; }
+  .titlebar:not(headerbar) button,
+  .titlebar:not(headerbar) button.titlebutton,
+  headerbar button,
+  headerbar button.titlebutton,
+  headerbar .titlebar button.titlebutton,
+  .titlebar headerbar button.titlebutton {
+    margin-top: 6px;
+    margin-bottom: 6px; }
 
 .titlebar, .titlebar:backdrop {
   border-top-left-radius: 7px;

diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css
index ec03ad264f7d9c8025ad4e32c93f6605aa561190..d7538fff1dd3911c05cfc35ee5be3e498c0e1827 100644 (file)
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -1931,6 +1931,14 @@ headerbar {
     .titlebar headerbar.default-decoration button.titlebutton {
       min-height: 26px;
       padding: 0 5px; }
+  .titlebar:not(headerbar) button,
+  .titlebar:not(headerbar) button.titlebutton,
+  headerbar button,
+  headerbar button.titlebutton,
+  headerbar .titlebar button.titlebutton,
+  .titlebar headerbar button.titlebutton {
+    margin-top: 6px;
+    margin-bottom: 6px; }
 
 .titlebar, .titlebar:backdrop {
   border-top-left-radius: 7px;